call_from_module(Module, Goal) :- Module:Goal.